Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Повнотекстовий пошук
 Знайдено в інших БД:Книжкові видання та компакт-диски (7)Журнали та продовжувані видання (4)Автореферати дисертацій (3)Реферативна база даних (16)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Летичевський О$<.>)
Загальна кількість знайдених документів : 21
Представлено документи з 1 до 20
...
1.

Летичевський О. А. 
В.М. Глушков і сучасна інформатика (від теорії автоматів до когнітивних архітектур) [Електронний ресурс] / О. А. Летичевський // Вісник Національної академії наук України. - 2013. - № 8. - С. 21-33. - Режим доступу: http://nbuv.gov.ua/UJRN/vnanu_2013_8_6
Попередній перегляд:   Завантажити - 225.764 Kb    Зміст випуску     Цитування
2.

Летичевський О. А. 
Програмування в обмеженнях у системі інсерційного моделювання [Електронний ресурс] / О. А. Летичевський, О. О. Летичевський, В. С. Песчаненко, І. О. Блинов, Д. М. Кльонов // Проблеми програмування. - 2011. - № 4. - С. 14-22. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2011_4_4
Попередній перегляд:   Завантажити - 251.585 Kb    Зміст випуску     Цитування
3.

Коваленко І. М. 
Граничні задачі життя (до 90-річчя академіка НАН України В. С. Королюка) [Електронний ресурс] / І. М. Коваленко, О. А. Летичевський, І. В. Сергієнко // Вісник Національної академії наук України. - 2015. - № 8. - С. 95-99. - Режим доступу: http://nbuv.gov.ua/UJRN/vnanu_2015_8_15
Попередній перегляд:   Завантажити - 127.634 Kb    Зміст випуску     Цитування
4.

Летичевський О. О. 
Символьні методи у верифікації та тестуванні високонадійних систем [Електронний ресурс] / О. О. Летичевський // Радіоелектронні і комп’ютерні системи. - 2016. - № 5. - С. 78–83. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2016_5_14
Висвітлено питання рішення задачі розробки високонадійних систем, зокрема тих, що критичні до безпеки. Розглянуто проблеми тестування та верифікації, які актуальні на кожній стадії процесу розробки. Окрім того під час розробки мають бути дотримані такі стандарти розробки систем як досяжність 100 % тестового покриття та застосування технології модельного тестування для розподільних і недетермінованих систем. Запропоновано розв'язання проблеми з використання символьних методів на основі теорії інсерційного моделювання та предикатних перетворювачів. Як формальні специфікації, що визначають модель системи використовується мова Live UCM, як композиція стандартної мови UCM (Use Case Maps) та мова базових протоколів. Запропоновані методи реалізовані в низці програмних систем та апробовані на прикладах перевірки властивостей безпеки в моделях у проектах в різних галузях сучасної індустрії.
Попередній перегляд:   Завантажити - 412.637 Kb    Зміст випуску    Реферативна БД     Цитування
5.

Летичевський О. А. 
Високонадійні системи математичного забезпечення (стенограма наукової доповіді на засіданні Президії НАН України 7 грудня 2016 р.) [Електронний ресурс] / О. А. Летичевський // Вісник Національної академії наук України. - 2017. - № 2. - С. 30-36. - Режим доступу: http://nbuv.gov.ua/UJRN/vnanu_2017_2_7
Доповідь присвячено важливій проблемі створення методів та алгоритмів побудови високонадійних систем математичного забезпечення для програмно-технічних комплексів, які використовуються в критичних з точки зору безпеки галузях, таких як аерокосмічна, медична, телекомунікаційна, в ядерній енергетиці, у виробництві сучасного озброєння тощо. Процес розроблення високонадійних систем оснований на принципі зменшення ризику або повного виключення неспрацьовування засобів безпеки в системі.
Попередній перегляд:   Завантажити - 428.121 Kb    Зміст випуску    Реферативна БД     Цитування
6.

Самойленко А. М. 
Владислав Kирилович Дзядик (до 100-рiччя від дня народження) [Електронний ресурс] / А. М. Самойленко, В. К. Задірака, О. А. Летичевський, І. О. Луковський, В. Л. Макаров, А. П. Голуб, Ю. В. Дзядик, В. В. Ковтунець, А. С. Романюк, А. С. Сердюк // Український математичний журнал. - 2019. - Т. 71, № 2. - С. 147-150. - Режим доступу: http://nbuv.gov.ua/UJRN/UMJ_2019_71_2_3
Попередній перегляд:   Завантажити - 478.224 Kb    Зміст випуску     Цитування
7.

Летичевський О. О. 
Огляд сучасних методів захищеності та безпеки програмних систем [Електронний ресурс] / О. О. Летичевський, В. С. Песчаненко, Я. В. Гринюк, В. Ю. Радченко, В. М. Яковлев // Кибернетика и системный анализ. - 2019. - Т. 55, № 5. - С. 156-169. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2019_55_5_16
Попередній перегляд:   Завантажити - 150.826 Kb    Зміст випуску     Цитування
8.

Летичевський О. О. 
Алгебраїчний підхід у формалізації вразливостей в бінарному коді [Електронний ресурс] / О. О. Летичевський, Я. В. Гринюк, В. М. Яковлев // Control systems & computers. - 2019. - № 6. - С. 5-20. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2019_6_4
Попередній перегляд:   Завантажити - 963.721 Kb    Зміст випуску     Цитування
9.

Летичевський О. О. 
Децентралізовані системи в логістиці: огляд використання та проблеми безпеки [Електронний ресурс] / О. О. Летичевський, С. О. Горбатюк // Проблеми програмування. - 2020. - № 1. - С. 55-73. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2020_1_8
Попередній перегляд:   Завантажити - 531.217 Kb    Зміст випуску     Цитування
10.

Летичевський О. О. 
Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах [Електронний ресурс] / О. О. Летичевський, В. С. Песчаненко, В. С. Харченко, В. А. Волков, О. М. Одарущенко // Кибернетика и системный анализ. - 2020. - Т. 56, № 5. - С. 29–37. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2020_56_5_5
Попередній перегляд:   Завантажити - 99.433 Kb    Зміст випуску     Цитування
11.

Летичевський О. О. 
Алгебраїчне моделювання та його застосування [Електронний ресурс] / О. О. Летичевський // Вісник Національної академії наук України. - 2021. - № 3. - С. 59-66. - Режим доступу: http://nbuv.gov.ua/UJRN/vnanu_2021_3_11
Попередній перегляд:   Завантажити - 226.779 Kb    Зміст випуску     Цитування
12.

Летичевський О. О. 
Алгебраїчне моделюванняв системах міжнародної та місцевої обслуговуючої логістики [Електронний ресурс] / О. О. Летичевський, С. О. Горбатюк, В. О. Горбатюк // Проблеми програмування. - 2020. - № 4. - С. 88-97. - Режим доступу: http://nbuv.gov.ua/UJRN/Progr_2020_4_11
Попередній перегляд:   Завантажити - 717.151 Kb    Зміст випуску     Цитування
13.

Летичевський О. О. 
Деякі засоби обробки електронних текстових документів [Електронний ресурс] / О. О. Летичевський, М. К. Мороховець, Н. М. Щоголева // Control systems & computers. - 2021. - № 4. - С. 13-18. - Режим доступу: http://nbuv.gov.ua/UJRN/USM_2021_4_4
Попередній перегляд:   Завантажити - 121.488 Kb    Зміст випуску     Цитування
14.

Летичевський О. О. 
Техніка нечіткого тестування та її використання в задачах кібербезпеки [Електронний ресурс] / О. О. Летичевський, В. С. Песчаненко, Я. В. Гринюк // Кібернетика та системний аналіз. - 2022. - Т. 58, № 1. - С. 181–189. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2022_58_1_20
Розглянуто технологію нечіткого тестування, яка полягає у тестуванні програмних систем із поданням критичних або неочікуваних вхідних даних. Наведено огляд поточного стану проблеми та основні системи нечіткого тестування. Проаналізовано підхід до технології нечіткого тестування з використанням алгебричних методів, зокрема символьного моделювання. Розглянуто алгоритм "легкої ваги", який розроблено для скорочення часу генерації тестів. Алгоритм реалізовано в середовищі системи інсерційного моделювання та апробовано в тестуванні давно відомих версій систем, розроблених в ОС Linux.
Попередній перегляд:   Завантажити - 84.327 Kb    Зміст випуску    Реферативна БД     Цитування
15.

Летичевський О. О. 
Інсерційна семантика VHDL-мови електронного дизайну [Електронний ресурс] / О. О. Летичевський, О. М. Одарущенко, В. С. Песчаненко, В. С. Харченко, В. В. Москалець // Кібернетика та системний аналіз. - 2022. - Т. 58, № 2. - С. 154–165.
Досліджено проблему інсерційної семантики специфікацій апаратного забезпечення, зокрема мови VHDL. Побудова семантики потрібна для представлення первинного коду мови VHDL у вигляді інсерційної моделі за допомогою алгебри поведінок. Це представлення надає змогу широко застосовувати формальні методи інсерційного моделювання для верифікації електронних проектів критичних систем. Розглянуто основні конструкції мови VHDL, зокрема процес, архітектуру, паралельні оператори, та їхню інсерційну семантику. У вигляді поведінкових рівнянь побудовано потік керування VHDL-програми. Послідовні оператори представлено як дії алгебри поведінок. Розглянуто проблему перегонів сигналів і методів її виявлення через визначення властивості переставності (permutability).
    Зміст випуску    Реферативна база даних

Повний текст публікації буде доступним після 01.05.2024 р., через 2 днів

16.

Летичевський О. О. 
Наукові засади кібербезпеки об’єктів критичної інфраструктури (стенограма доповіді на засіданні Президії НАН України 9 лютого 2022 р.) [Електронний ресурс] / О. О. Летичевський // Вісник Національної академії наук України. - 2022. - № 4. - С. 34-41. - Режим доступу: http://nbuv.gov.ua/UJRN/vnanu_2022_4_8
Попередній перегляд:   Завантажити - 396.27 Kb    Зміст випуску     Цитування
17.

Летичевський О. О. 
Сучасні методи та програмні системи молекулярного моделювання та застосування алгебри поведінок [Електронний ресурс] / О. О. Летичевський, В. А. Волков, Ю. Г. Тарасіч, Г. О. Соколова, В. С. Песчаненко // Кібернетика та системний аналіз. - 2022. - Т. 58, № 3. - С. 150–163.
Розглянуто основні методи молекулярного моделювання та спеціалізоване програмне забезпечення для створення та дослідження молекулярних моделей. Наведено результати першого етапу побудови середовища для дослідження молекулярної і біомолекулярної взаємодії, що базується на формалізмі алгебри поведінки та інсерційного моделювання, а також результати експерименту застосування запропонованого підходу до моделювання ковалентного неполярного зв'язку.
    Зміст випуску    Реферативна база даних

Повний текст публікації буде доступним після 01.07.2024 р., через 63 днів

18.

Летичевський О. О. 
Сучасні наукові проблеми кібербезпеки [Електронний ресурс] / О. О. Летичевський // Вісник Національної академії наук України. - 2023. - № 2. - С. 12-20. - Режим доступу: http://nbuv.gov.ua/UJRN/vnanu_2023_2_4
Попередній перегляд:   Завантажити - 131.62 Kb    Зміст випуску     Цитування
19.

Летичевський О. О. 
Алгебраїчний підхід та методи штучного інтелекту в сучасних системах виявлення вторгнень [Електронний ресурс] / О. О. Летичевський, В. О. Горбатюк // Міжнародний науково-технічний журнал Проблеми керування та інформатики. - 2023. - № 3. - С. 101-111.
    Зміст випуску

Повний текст публікації буде доступним після 01.07.2025 р., через 428 днів

20.

Летичевський О. О. 
Когнітивні мережі, їхні властивості та застосування у системах виявлення та запобігання атакам [Електронний ресурс] / О. О. Летичевський // Кібернетика та системний аналіз. - 2023. - Т. 59, № 5. - С. 196–204.
    Зміст випуску

Повний текст публікації буде доступним після 01.11.2025 р., через 551 днів

...
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського